Verification and test generation for the SSCOP protocol
نویسندگان
چکیده
منابع مشابه
Verification and test generation for the SSCOP protocol
Many formal tools are now e cient enough to deal with small-to-medium size systems. Working with larger systems requires not so much to improve these tools, but to use them in combination, applying one tool for what it is most e cient for, and using its results to improve the applicability of the other tools. This paper presents such a combination, illustrated on an industrial protocol, large e...
متن کاملexploring motivation and english test preparation strategies of iranian pre-university candidates during and at the end of test preparation period for konkur examination
the current study aimed at investigating the relationship between motivation and test preparation strategies (tpss) used by iranian pre-university students in their preparation period for the university entrance exam (uee). due to the importance of uee in iran, this study also attempted to show its impact on these two important variables. to this end, 100 pre-university students in an iranian p...
A New Congestion Control Mechanism Proposed for the SSCOP Protocol
International Telecommunication Union, Telecommunications Sector (ITU-T) Recommendation Q.2110 states that the update of a granted credit window to the transmitter (VR(MR)) is implementation dependent. In this paper, a new algorithm is designed to control the traffic flow coming from malfunctioning users. The VR(MR) parameter is controlled for that purpose. The simulation results show that this...
متن کاملAn SSCOP-based link layer protocol for wireless LANs
The IEEE 802.11 standard provides fast recovery from frame losses using a rapid link level positive acknowledgment scheme. However, the adoption of positive acknowledgment leads to inefficient frame transmission. To improve efficiency of the acknowledgments mechanism in IEEE 802.11, we propose a novel link layer protocol for wireless LANs. The proposed protocol is an adaptation of an ATM-based...
متن کاملEfficient Protocol Decomposition and Performance Analysis of the SSCOP Layer
This paper presents a decomposition of the SSCOP [1] protocol, which is based on the detailed analysis of the performance of the layer. The protocol decomposition aims at mapping the various functions of the SSCOP layer onto modules with optimized running speed when these are applied on modern network processors ([2], [3], [4]). The SSCOP layer is a mandatory part of the ATM Signalling Adaptati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2000
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(99)00017-9